infix +
num.wrap_around.infix +
addition, with check for overflow
Precondition
pre else debug: !(overflow_on_add other) debug: !(underflow_on_add other)
Inherited from numeric.infix +
pre debug: (numeric.this +! other)
0.099dev (GIT hash 9b94ad4b4a4bff2bf2be7d77be2c6e1fd7683c4d)